System tests from unit tests
نویسندگان
چکیده
Large programs have bugs; software engineering practices reduce the number of bugs in deployed systems by relying on a combination of unit tests, to filter out bugs in individual procedures, and system tests, to identify bugs in an integrated system. Our previous work showed how Floyd-Hoare triples, {P}C{Q}, could also be seen as unit tests, i.e. formed a link between verification and test-based validation. A transactional-style implementation allows test post-conditions to refer to values of data structures both before and after test execution. Here we argue that this style of specifications, with a transactional implementation, provide a novel source of system tests. Given a set of unit tests for a system, we can run programs in test mode on real data. Based on an analysis of the unit tests, we intersperse the program’s execution with the preand post-conditions from the test suite to expose bugs or incompletenesses in either the program or the test suite itself. We use the results of these tests, as well as branch-trace coverage information, to identify and report anomalies in the running program.
منابع مشابه
Purchasing Power Parity Hypothesis In OIC Countries: Evidence From Panel Unit Root Tests With Heterogeneous Structural Breaks
متن کامل
Automatic generation of transparent interaction-based software unit tests from system tests
Automated unit tests are essential for the construction of reliable software, but writing them can be tedious. Several tools exist which attempt to automatically generate small tests from large system tests, but none of them can generate “transparent” tests which look and run like hand-written unit tests. I propose to build a system, amock, which generates transparent interaction-based JUnit te...
متن کاملپیشبینی مقدار کلسیم خون در بیماران خونریزی گوارشی بستری در بخش مراقبتهای ویژه با استفاده از متغیرهای بالینی و مدلسازی فازی
Introduction: Reducing unnecessary laboratory tests is an essential issue in the Intensive Care Unit. One solution for this issue is to predict the value of a laboratory test to specify the necessity of ordering the tests. The aim of this paper was to propose a clinical decision support system for predicting laboratory tests values. Calcium laboratory tests of three categories of patients, incl...
متن کاملA Study of Testing Mean Reversion in the Inflation Rate of Iran’s Provinces: New Evidence Using Quantile Unit Root Test
T his paper is to examine the mean reverting properties of inflation rates for Iran’s 25 provinces over the period from 1990:4 to 2017:7. To the end, we use various conventional univariate linear and non-linear unit root tests, as well as quantile unit root test by Koenker and Xiao (2004). Results of conventional unit root tests indicate that the null hypothesis of the unit root test...
متن کاملComposing Tests from Examples
Understanding and maintaining complex software systems is a difficult task. In principle, tests can be a good source of information about how the system works. Unfortunately, tests are frequently unstructured and disconnected from each other and from their units under test. We propose a new approach to organizing unit tests in which tests produce examples of their units under tests which also c...
متن کامل